type ring_f2('a) = ring_f(ring_f(ring_f('a)));
